override_identifier() now knows more about handling of external symbols. The above makes encode_value() more happy about encoding the master program. Fixed range bug in low_add_many_to_program(). Rev: src/program.c:1.767