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

static void foo(void)
{
	__builtin_outl(22, 0x5678);
}
static void main(void)
{
	int i;

	foo();
	foo();
	for(i = 0; i < 10; i++) {
		foo();
#if 0
		foo();
#endif
		__builtin_outl(i, 0x1234);
	}

}