3 ms·

This is about test case generation. When it gets hairy, a *check library helps (quickcheck, rapidcheck, etc).