int tree_foo(void)
{
  return 6;
}