#include <stdio.h>
#include <string.h>
int main(int argc, char **argv) {
  float Realvar;
  int Intvar;
  Realvar = 1.25e7;
  memcpy(&Intvar, &Realvar, sizeof(Realvar));
  fprintf(stderr, "%d\n", Intvar);
  return (0);
}