Adding general comments to hol.c