const hidden_getterinfo: JSJitInfo;