let dummy_ltype = Ctype (dummy_ctype)