let func_to_init name = {Cil_types.init= Some(SingleInit( new_exp ~loc:(CurrentLoc.get()) (Const(func_to_cenum (name)))))}