/* Last edited on 2009-02-28 05:30:02 by stolfi */