let dummy_ctype = TVoid []