Setting option: options_monitor (no value) (source: command line) Setting option: option_in_file_1 (no value) (source: file) Setting option: alias_opt = option_in_file_2_val (source: file) Setting option: alias_opt = alias_val (source: file) Setting option: skip_petscrc (no value) (source: file) Setting option: option1 = 1 (source: code) Setting option: option2 (no value) (source: code) Setting option: option3 = value3 (source: code) Setting option: option4 = value4 (source: code) Setting option: option5 (no value) (source: code) Removing option: option5