I don't know how to use c_trace, though...