Added return stack and instructions to support it; still buggy, though