tcpopt_len_check will stop the stack when option length is 0
In pico_tcp.c tcp_parse_option_* functions call tcpopt_len_check. If the len ( the length of option ) is 0, tcpopt_len_check makes the index ( i ) roll back. The loop in tcp_parse_options will not jump out.