Files
optools/arch/relchk.py