modified arp_hook.c annotations