const key_getterinfo: JSJitInfo;