Added comment for calculation of udp payload length
Change build_checksums and verify_checksums to build_checksum and verifiy_checksum
Changed 'when' constraints to pattern matching for record types in HEAD