Implemented '--symbols' feature for arg.py to extract symbols used instead of the code of an argument. Doing this on arguments is just an example, really.