file.truncate — Truncates the file.
file.truncate filename newlength
file.truncate
filename
newlength
Truncates the file, making it at most newlength bytes long.
