io: Change signature of io.file.read to return a void[].