`assert(buf.length <= uint.max);`