shadowed some symbols that I guess are newly defined in arnesi
shadowed some symbols that I guess are newly defined in arnesi

darcs-hash:20060807140921-18786-ce96ef27ea4fcc4686ac299f130fb76647eb1e31.gz

AccelerationNet/buildnode