A bit of File{.,#}{size,truncate}