done: change to handin12 files, and correct dns_lib.c line366; todo: test if 35+8 in autolab