- Fixed to TinySimulator to use new symbol names