#include <stdio.h>
#include <fcntl.h>
#include <stdlib.h>

main (int argc, char *argv[])

{ union checkspace
    { float  r4;
      unsigned char b1[4];
    };

  union checkspace val;

  val.b1[3] = 0xFB;
  val.b1[2] = 0xFF;
  val.b1[1] = 0x7F;
  val.b1[0] = 0xFF;

  fprintf(stdout,"Value: %10.5e  0: %2X  1: %2X  2: %2X  3: %2X\n",
                  val.r4,val.b1[0],val.b1[1],val.b1[2],val.b1[3]);

  exit(0);
}