gitdir: ../../../.git/modules/arcle/arcs/ARC
