load ...
binary counter
binary count-down
binary adder
polish notation copier
propositional logic proof 1
state
if
write
move
state
add