gitdir: ../../.git/modules/ext/SamplableSet
