# --------------------------------------------------------------------------------------------- RVTEST_IO_WRITE_STR(x31, "Test End\n") # --------------------------------------------------------------------------------------------- RV_COMPLIANCE_HALT RV_COMPLIANCE_CODE_END # Input data section. .data # Output data section. RV_COMPLIANCE_DATA_BEGIN test_1_res: