Tests for TCO in C