let mkTRef elemty =
(* Define the same arguments as for [mkTRefArray] *)
let size = constant_expr 1L and attr = [] in
(* Do the same as in [mkTRefArray] *)
let siz = expToAttrParam size in
let attr = addAttribute (Attr(arraylen_attr_name,[siz])) attr in
(* Avoid creating an array for single pointed elements that do not
* originate in a C array, to avoid having to access to the first
* element everywhere.
*)
TPtr(elemty,attr)