let funcStatus_to_init st =
  {init=Some(SingleInit(new_exp ~loc:(CurrentLoc.get()) 
                          (Const(op_status_to_cenum (st)))))}