coreboot-kgpe-d16/util/romcc/tests/fail_test10.c