push 10 push 9 add halt add