let
predicate_alarm () = raise
Predicate_alarm