#!/bin/csh
foreach file ($*)
	sed -e "s/K32types/K32baseTypes/" $file > $file+1
	sed -e "s/K32callp/K32types/" $file+1 > $file
	rm $file+1
end
