Keep track of ip and use return stack
begin / until (but they don't work because we're not executing the machine properly)