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

int main(int argc, char *argv[]) {
  int x = 123456789;
  float y;
  y = x;
  x = y;
  printf("%d\n", x);
  
  return EXIT_SUCCESS;
}