typedef struct ___dietc_va_list { char ___dietc_va_list[24]; } va_list;

void foo(int x, int y) {
  x = y;
  va_list z;
  va_list a;
  z = a;
}

int main() {
  int x = 5;
  int y = 7;
  x = y;
  return x;
}