execution: UNTESTED
Will not test whether the file offset is set because it is unspecified.