Theft: Property-Based Testing for C | Hacker News Reader