read (chars, array_length (chars), file);

read (&record, size_of (record), file, position);

read (chars, array_length (chars), file, position);

read (&string, array_length (string.chars), file, position);

read (&string, array_length (string.chars), file, position, length);

read (&number, size_of (number), file, position, READ_WORD | BIG_ENDIAN);

