let
dummy_ltype =
Ctype
(dummy_ctype)