let tau_of_logic_ctype c =
    match Ctypes.object_of c with
      | C_int _ -> Integer
      | C_float _ -> Real
      | C_pointer _ -> Pointer
      | C_comp c -> Record c
      | C_array a -> Array a