\$<_0> may only be used inside the body of a binding operation
