let basename a = Ctypes.basename (C_array a)