global vars aren't needed: we use option_is_set in message functions