let basename (te,n) = if n > 1 then Printf.sprintf "%s_d%d" (Ctypes.basename te) n else Ctypes.basename te