const max_height_setterinfo: JSJitInfo;