#include <stdio.h>

void main() {
  double x = 3.9;

  printf("x =  %d\n", (int)x);
}