This is an editor for Minsky's machine.