document that silent truncation isn't a possiblity because abort() is used as a backstop.