id     = "PROOF"
name   = "Proof"
header = "options/proof_options.h"