program args and Symbols