read (&string, array_length (string.chars), file),
{
  file = open (file_name)
}
/
{
  close (file)
};