fprintf(stderr,"destroy OLattice=0x%x\n",F);
fprintf(stderr,"destroy OLattice=0x%x, this=0x%x\n",F,this);
  ~OLattice()    {#if defined(DEBUG)      fprintf(stderr,"destroy OLattice=0x%x\n",F);#endif#if ! defined(NO_MEM)      delete[] F;#endif    }