-record(file, {size :: integer()}).