if {#} == 0
    echo "Usage: TeachFilter <filename> [filename...]"
    exit
end
for file
    echo Filtering {file}...
    echo >reztemp include "{file}" $8012 (1)
    echo >>reztemp ";"
    echo >>reztemp include "{file}" $7001 (1)
    echo >>reztemp ";"
    change reztemp rez
    compile reztemp keep=Filtered
    delete reztemp
    copy -f {file} Filtered
    delete {file}
    rename Filtered {file}
end