} else if (tokens[0] === 'UNHANDLED_INPUT') {
tui.log_msg('unknown command');
} else if (tokens[0] === 'GAME_ERROR') {
tui.log_msg('game error: ' + tokens[1]);
} else if (tokens[0] === 'GAME_ERROR') {
tui.log_msg('game error: ' + tokens[1]);
} else if (tokens[0] === 'UNHANDLED_INPUT') {
tui.log_msg('unknown command');
} else if (tokens[0] === 'GAME_ERROR') {
tui.log_msg('game error: ' + tokens[1]);
} else if (tokens[0] === 'GAME_ERROR') {
tui.log_msg('game error: ' + tokens[1]);