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"

	CSRRC	X0, CYCLE, X0				// 733000c0
	CSRRC	X10, CYCLE, X5				// f33205c0
	CSRRC	$2, TIME, X5				// f37211c0
	CSRRCI	$2, TIME, X5				// f37211c0
	CSRRS	X0, CYCLE, X5				// f32200c0
	CSRRS	X0, CYCLE, X0				// 732000c0
	CSRRS	X10, CYCLE, X5				// f32205c0
	CSRRS	$2, TIME, X5				// f36211c0
	CSRRS	X0, VLENB, X5				// f32220c2
	CSRRSI	$2, TIME, X5				// f36211c0
	CSRRW	X0, CYCLE, X5				// f31200c0
	CSRRW	X0, CYCLE, X0				// 731000c0