const maxHeight_setterinfo: JSJitInfo;