/* * Some Ethernet extensions. */