My attempt at a "testing by example" framework