Test declarations and bookmark-tree