Use trusty in c_check