Install tmc-check-convert-results and use it in example/.