/**
 * Print out the mantissa mask.
 */

#include <stdio.h>

int
main ()
{
  printf ("%d\n", 0x7FFFFF);
  printf ("%x\n", 8388607);
} // main