100   unsigned char byte_addr[32];  in hash_h()  local
104   addr_to_byte(byte_addr, addr);  in hash_h()
105   prf(key, byte_addr, pub_seed, n);  in hash_h()
108   addr_to_byte(byte_addr, addr);  in hash_h()
109   prf(bitmask, byte_addr, pub_seed, n);  in hash_h()
111   addr_to_byte(byte_addr, addr);  in hash_h()
112   prf(bitmask+n, byte_addr, pub_seed, n);  in hash_h()
124   unsigned char byte_addr[32];  in hash_f()  local
128   addr_to_byte(byte_addr, addr);    in hash_f()
129   prf(key, byte_addr, pub_seed, n);  in hash_f()
132   addr_to_byte(byte_addr, addr);  in hash_f()
133   prf(bitmask, byte_addr, pub_seed, n);  in hash_f()