• rewrite_c_type1