/test/593-checker-shift-and-simplifier/smali/