code: function mailboxList() {
          return wrap('mailbox-list', or(
              and(
                  mailbox,
                  star(and(literal(','), mailbox))
              ),
              obsMboxList
          )());
      }
docs: mailbox-list    =   (mailbox *("," mailbox)) / obs-mbox-list