const aspect_ratio_setterinfo: JSJitInfo;