More stuff for arg_label.py