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