let record_format :  format = e_app0 mk_record_format