00100 @DEF DSK: DSK:,<DECUS.20-0137> 00200 @LOAD RMAOV.FOR,APLIB/LIB,FORLIB/SEAR 00300 @SAVE RMAOV 00400 @SET FILE PROTECTION RMAOV.EXE 771010 00500 ;(PUT ON SYS:RMAOV.EXE)