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