int tree_prefix_foo(void)
{
  return 6;
}