Actually, I'm having second thoughts about even checking for the jump +0.  A normal machine would let you do that.  It's no worse/better than the `nop/jump -1` case.