Updated for PbeerQueue.oz