Triviality in UCI::loop