simplified DerefenceByIndex with typechecker's pointer arithmetics