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