/* Last edited on 2006-11-21 04:18:36 by stolfi */


static FILE*
open_rd(char *name)
  {
    FILE *f = fopen(name, "r");
    if (f == NULL) pm_error("couldn't open input file");
    return (f);
  }

/*frandom() - generates random numbers in [0 _ 1] */
static float 
frandom(void)
  {
    return(((float)(random()&65535))/65536.0);
  }