circle_coloring_needs_args.py