tc-dummy.c generated, not tested