Is this the key piece that makes sure we handle the `__morestack` prelude correctly? It's probably worth expanding this comment to cover *why* we need to handle this specially (and at least a mention of `__morestack` so that there is no ambiguity about what "function prelude" means).