ref: 522016c998ce1eaefc5ee836b6abd064b3b4db40 dir: /.gitmodules/
[submodule "quickcheck"] path = quickcheck url = ./quickcheck/