A simple EDSL for testing C code using Check - View it on GitHub