Symbol: specnode_t