Use an anonymous int array for the value to setsockopt