let
signal_change () = change :=
true