Renamed main.t to test1.t