-R /Users/mat/research/coq/prelude Prelude
OTHERFLAGS = "-dump-glob globals.dump"
GenuineShiftReset.v