void v() {
  int i = (int)1;
}