The first row in "Table 108 — Position type requirements" contains expression P(i) in the first column and assertion p == P(i) in the last column. It is not clear what p refers to, since it is not used in the expression. Perhaps it is a typo and the assertion should be i == P(i).

The expression streamsize(o) has a corresponding assertion streamsize(O(sz)) == sz. The meaning of this is also unclear, since sz does not appear in the expression.