removing file, ashr does not distinguish between unsigned and signed
renaming file, ashr does not distinguish between signed and unsigned