int tree_empty_prefix_foo(void)
{
  return 6;
}