Assignment compatibility with "read"

When using the built-in procedure read to retrieve a value from a file into a variable, the value shall be assignment compatible with the type of the variable.

For example given:

   var s : string[40];

and

   read(s);

then the value read in by

   read(s)

must be assignment compatible with

   string[40]