let
on_definition f = demons := !demons @ [f]