CallSiteMayInvoke

The fallible primitive may have the effect of invoking some function body, which makes it subject to reification while it runs. The call site should be prepared to produce a reified continuation if this happens.