#include "a.h"

void b() {
  int xs[bar];
}