[ [] ]                              is queue  (     --> [   )

  [ [] = ]                            is empty? (   [ --> b   )

  [ nested join ]                     is push   ( [ x --> [   )

  [ dup empty? if
      [ $ "Queue unexpectedly empty."
        fail ]
    behead ]                          is pop    (   [ --> [ x )