extern void old() __attribute__((deprecated));
static void warnings5() {
  old();
}