Vulnerabilities in dotty 0.0.1