package Valid is

   Int_Neg : constant := -(1);
   --% node.f_expr.p_eval_as_int

   Int_Plus : constant := +(1);
   --% node.f_expr.p_eval_as_int

   Int_Abs : constant := abs (-1);
   --% node.f_expr.p_eval_as_int

end Valid;
