A sample TMC project using Check