/lib/stdlib/test/property