1Option used: name:-get_an_integer value: 10 2Option left: name:-unused_petsc_option_1 (no value) 3Option left: name:-unused_petsc_option_2 (no value) 4