const min_height_getterinfo: JSJitInfo;