An implementation of QuickCheck for Rust (very early)