読み込まれるのは索引の接頭辞である

索引の内容をバイト列 $x$ とし、行数の上限を $\ell$、バイト数の上限を $B$ とする。$x$ の $\ell$ 個目の改行の直後の位置（先頭からその改行までのバイト数。改行を含む）を $e_\ell(x)$（$x$ に改行が $\ell$ 個なければ $e_\ell(x) = |x|$）、$c(x) = \min(e_\ell(x),\ B,\ |x|)$ とし、読み込まれる内容を $\mathrm{load}(x) = x$ の先頭 $c(x)$ バイト、と定める。このとき次が成り立つ。

1. $\mathrm{load}(x)$ は $x$ の接頭辞である。
2. $c(x) \lt |x|$（上限を超えている）ならば、任意のバイト列 $z$ について $\mathrm{load}(\mathrm{load}(x)\,z) = \mathrm{load}(x)$。すなわち、上限を超えた位置には何を書いても、読み込まれる内容は変わらない。