1Setting option: options_monitor (no value) (source: command line) 2Setting option: option_in_file_1 (no value) (source: file) 3Setting option: alias_opt = option_in_file_2_val (source: file) 4Setting option: alias_opt = alias_val (source: file) 5Setting option: skip_petscrc (no value) (source: file) 6Setting option: option1 = 1 (source: code) 7Setting option: option2 (no value) (source: code) 8Setting option: option3 = value3 (source: code) 9Setting option: option4 = value4 (source: code) 10Setting option: option5 (no value) (source: code) 11Removing option: option5 12