pub(crate) fn consume_input() -> Session<ReceiveChannel<RecX<(Rec<ExternalChoice<Either<Rec<InternalChoice<Either<SendValue<String, Z>, S<Z>>>>, ReceiveValue<String, End>>>>, ()), InternalChoice<Either<SendValue<String, Z>, S<Z>>>>, End>>