val x : int -> int
val invalid_modifies : unit -> unit
(*@ invalid_modifies ()
    modifies x *)
  { gospel_expected| 
    [ 125 ] File " constants1.mli " , line 4 , characters 13 - 14 : 
          4 |      modifies x
   [125] File "constants1.mli", line 4, characters 13-14:
         4 |     modifies x *)
                          ^
         Error: Symbol x not found.
   |gospel_expected} *)

@ invalid_modifies ()
    modifies x 
val x : int -> int
val invalid_modifies : unit -> unit
  { gospel_expected| 
    [ 125 ] File " constants1.mli " , line 4 , characters 13 - 14 : 
          4 |      modifies x
   [125] File "constants1.mli", line 4, characters 13-14:
         4 |     modifies x *)
                          ^
         Error: Symbol x not found.
   |gospel_expected} *)
