File "w59.opt_backend.ml", line 25, characters 2-43:
Warning 59: A potential assignment to a non-mutable value was detected 
in this source file.  Such assignments may generate incorrect code 
when using Flambda.
File "w59.opt_backend.ml", line 26, characters 2-43:
Warning 59: A potential assignment to a non-mutable value was detected 
in this source file.  Such assignments may generate incorrect code 
when using Flambda.
File "w59.opt_backend.ml", line 27, characters 2-43:
Warning 59: A potential assignment to a non-mutable value was detected 
in this source file.  Such assignments may generate incorrect code 
when using Flambda.
File "w59.opt_backend.ml", line 28, characters 2-43:
Warning 59: A potential assignment to a non-mutable value was detected 
in this source file.  Such assignments may generate incorrect code 
when using Flambda.
File "w59.opt_backend.ml", line 35, characters 2-7:
Warning 59: A potential assignment to a non-mutable value was detected 
in this source file.  Such assignments may generate incorrect code 
when using Flambda.