Update tmc-check-example.c