let format_of_compinfo comp = if comp.cstruct then DF.record_format comp else unsupported "format of union"