Extension of Check used for our extension of the TMC server for C