t_gcc_tcs3: 4.147 s