Use a name, not a number, to refer to the IP protocol number for UDP.