Forgot preamble.
Needed primes in call/ret binding denotations.