Terminal_symbol loading ...