calling <procedure> on :foo
:foo
calling <procedure> on :bar
:bar
calling <procedure> on :x
:x
