let rt_vformat : D.name -> D.format = D.e_app1 "rt_vformat"