function Array_enqueue( queue, val )
{
  return queue.push( val );
}
Array.enqueue = Array_enqueue;

function Array_dequeue( queue )
{
  return queue.shift();
}
Array.dequeue = Array_dequeue;