Vulnerabilities in PicoTCP-NG