OPTIONS = QUIT_ON_FAILURE
HOLHEAP = /Users/mark/bitbucket/lem/hol-lib/lemheap
