emulate_int
rc = emulate_int(ctxt, 3);
rc = emulate_int(ctxt, ctxt->src.val);
rc = emulate_int(ctxt, 4);