.text
foo:
	.machine z13
	.machine z13+vx+novx+htm+nohtm+vx+novx+htm+nohtm
	.machine foo