`buf.len()` will be more reliable if someone updates one but not the other.