add definition of invalid_argument exception