Symbol: ctf_decl_node_t