* print_var_info.py: give option for listing all var names.