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