int main (float *x) {
  double a = 1.0;
  float b = 1.0f;
  printf("%f", a);
  *x = b;
  return b;
}