WINTERMUTE: Reinstate watch
WINTERMUTE: Rename step/next as in gdb
WINTERMUTE: Print function
WINTERMUTE: Print function

(broken because of missing bits in underlying engine)