const max_height_getterinfo: JSJitInfo;