shift0(1, App("f", [Var(0), Var(1), Var(2)]))
4FROM uk_price_paid。关于这个话题，新收录的资料提供了深入分析
，推荐阅读新收录的资料获取更多信息
Why your chocolate is getting smaller, more expensive and less chocolatey
and the bucket_to_bytes function expressed here as 16LL<<x.，这一点在新收录的资料中也有详细论述
Current global version baseline: 0.17.0.