write_card16 (FILE     *ofp,
              L_CARD32  c)
{
  putc ((int) ((c >> 8) & 0xff), ofp);
  putc ((int) ((c) & 0xff), ofp);
}
write_card16 (FILE     *ofp,
              L_CARD32  c)
{
  putc ((int) ((c >> 8) & 0xff), ofp);
  putc ((int) ((c) & 0xff), ofp);
}