Correct gettable call. Added useful synthetic instructions.