read
io.Read_Handler.read
Postcondition
post debug: (result ? s Sequence => !s.is_empty && s.count<=max_count | * => true)
debug 10 : (result ? s Sequence => s.is_array_backed | * => true)0.095dev (GIT hash c7967cd19e1ef640f4fa3d483cf963853644b34e)
returns either an array of the bytes read, end_of_file or an error