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

void main(void)
{
	int i;
	i = 0;
	do {
		int j;
		__builtin_outb(i, 0xab);
		j = i++;
		__builtin_outb(j, 0xdc);
	} while(i <= 9);

}