util.funcs: adding DecodeOption() EncodeOption() functions..