%verify "executed"
%include "x86/OP_INVOKE_STATIC.S" { "routine":"Range","isrange":"1" }