const index_getterinfo: JSJitInfo;