let dtau_ctype : (typ -> tau) ref = ref (fun _ -> assert false)