int b2()
{
  return 3;
}