Writes a record to a file.

    Format

      #include  <stdio.h>

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