private void AddToQueue(Object o) { if (write_queue == null) write_queue = new List<Object> (); write_queue.Add (o); }