#4664: new check: (POSIX) write outside buffer size.