#!/bin/ksh

for f in $*; do

  echo $f ${f%.pp}.32.pp
  rm ${f%.pp}.32.pp 2> /dev/null
  echo $f | pp64_to_32.l.exe

done