Reads a record from a file.

    Format

      #include  <stdio.h>

      int decc$record_read  (FILE *fp, void *buffer, int nbytes);