/* * IP socket option processing. */