#include <stdio.h>

int main() {
  int x = 1000;
  float y = 1000;
  printf("x = %f\n", x);
  printf("y = %d\n", y);
  return 0;
}