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