const maxHeight_getterinfo: JSJitInfo;