List the requirement which specifies that algorithms throw bad_alloc
before the requirement about exception_list to imply that bad_alloc
always has priority over exception_list