(* First bug. *)
require PRP.
print PRP.
(* I get [error-0-0]anomaly: File "src/ecUtils.ml", line 234, characters 24-30: Assertion failed  *)


(* Second bug is in small tutorial. Just run EasyCrypt to find where there is a problem. I commented the issue there. *)