Do not use decode_tcp_options/2 in options/2