const onshow_setterinfo: JSJitInfo;