import "StandardLibrary"

MyExecute ?procedure :-
    @enforce
    Execute (?procedure "Foo")

main = do
    v = ref ""
    enforce MyExecute (v :=)
    getRef v 
--
Foo