#include <stdio.h>

int main()
{
  double x = -3.1415;
  double y;
  ((int *) &y)[1] = ((int *) &x)[1] & 0x7FFFFFFF;
  ((int *) &y)[0] = ((int *) &x)[0];
  printf ("y = %g\n", y);
  return 0;
}