load x
inc
push
load x
push
call printf