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