let
func_to_init name =
{init=
Some
(
SingleInit
(new_exp (
Const
(func_to_cenum (name)))))}