loop 10 {
    $cmd = readline;
    last if valid_cmd($cmd);
}