Section 5.4 says:
It is illegal to specify a position before the beginning or after the end of the file.
But the libc implementations do allow this for writeable files, and Bocfel depends on it.
I'm not sure if seekmode_End with positive pos is de facto supported, Bocfel doesn't attempt it.