asf 5 pushc 11 call x wrint rsf halt x: asf 3 pushc 22 wrint rsf