100% code coverage for crash and choice.