let record_format comp = F.e_app0 (Cformat.get_definition comp).d_name