void test(){
  #line 100
  int a;
  #line 200 "anotherfile"
  int b;
}