-record(file, {descriptor :: ewe@internal@file:io_device(), size :: integer()}).