00240	DTCHK

07306	INTCDR
07410	RINT
07444	ACINT
07451	ACINT0
07454	ACINT1
07466	ACINT2