1# Check 32bit PCONFIG instructions.
2
3	.text
4_start:
5	pconfig
6