answer(X) :- simulate(
                   state(1, 
                         3:4:nil, 

                         instruction(jump_on_zero, 0, 1):
                         instruction(decrement, 1, 0):
                         instruction(add, 2, 2):
                         instruction(jump, 1, 0): 
                         nil), 

                   X).