t_gcc_tcs3: 4.103 s