Show HN:A bounded work queue in C with explicit invariants | Heykuki News