MACRO: PROVE_OPTIONS
