let
record_format : format = e_app0 mk_record_format