const inputSource_getterinfo: JSJitInfo;