/* See {basic.h}. */
/* Last edited on 2005-08-21 10:42:54 by stolfi */

#include <basic.h>