• rewrite_c_type2