NORYES7WOFVFYYT4NBKJSWRL4IEM2WU3JQIYGV3YUJ6MBUCLPWSAC
// If the inner primtive is a "bytecode reference"
// - check if we're in the right block, if so, return Some(label location)
// - if not, switch blocks, then return Some(label location)
// If the inner primtive is a "bytecode reference", jump to it's label by returning
// Some(label location)
// NOTE A continuation *replaces the information about a stack frame*,
// then returns Some(continuation ptr)