Nonterminal_symbol loading ...