/* * Definitions of some constant IP6 addresses. */