pub fn require_label(
    depth: u32,
    frame_stack: &StackWithLimit<BlockFrame>
) -> Result<&BlockFrame, Error>