delete test1.tc and tiny_c.lxa