(* TEST
     exit_status= "2"
*)

open Effect
type _ t += E : unit t
let _ = perform E