Finding Spectre vulnerabilities with smatch | Hacker News Reader