Prog with a bunch of labels and jumps, using the bindings like ASM registers.