MACRO: VALUECONFIG -eva-equality-domain -no-val-malloc-returns-null
OPT: -val @VALUECONFIG@ -journal-disable -out -input -deps
