use --declare-option2