#include "header2.h"
int foo() {
  return(B);
}