let
mk_record_format =
"record_format"