let
get_pointer typ = (
"t_"
^(
Str
.global_replace (
Str
.regexp
"\\[\\]"
)
"*"
typ))