This `undefined -> fail` line should probably assert a failure, although I see similar lines throughout the file.