Finish trace generation for C kernels.