let
dummy_ctype =
TVoid
[]