ioTCM currentFile NonInteractive Direct (cmd_load currentFile [])