let
funcStatus_to_init st =
{init=
Some
(
SingleInit
(new_exp (
Const
(op_status_to_cenum (st)))))}