* print_var_info.py: give an option to specify input file.