Theft – property-based testing framework for C language | Hacker News Reader