int readLocal(int local) { // final locals = callStack[2]; //locals header assert(local <= callStack[2]); return callStack[(callStack[2] - local) + 3]; }