gitdir: ../../.git/modules/disco-dop/modules/gheap
