added option_util.py