[ [] ] is queue ( --> [ )
[ [] = ] is empty? ( [ --> b )
[ nested join ] is push ( [ x --> [ )
[ dup empty? if
[ $ "Queue unexpectedly empty."
fail ]
behead ] is pop ( [ --> [ x )