/* more new socket options introduced in RFC3542 */