pub const ReceiveNextLabel: ChoiceSelector<Z>;