CSRRCI	$1, TIME, (X15)			// ERROR "needs an integer register output"
	CSRRS	(X10), CYCLE, X5		// ERROR "integer register or immediate expected for 1st operand"
	CSRRS	X0, CYCLE, (X10)		// ERROR "needs an integer register output"
	CSRRS	X0, TU, X5			// ERROR "unknown CSR"
	CSRRS	X0, CYCLE			// ERROR "missing CSR name"
	CSRRS	$-1, TIME, X15			// ERROR "immediate out of range 0 to 31"