OPT: -val -val-show-progress -cpp-extra-args='-nostdinc -Ishare/libc'