Symbol E$RCBEX

Definition

			1855	*
	03152	0441 00 0 03224	1856	RCBEX	LDI	RCIND RESTORE MACHINE REGISTERS

Uses

	03037	0020 00 0 03152	1770		TRA	RCBEX DO BAD EXIT