Added `shouldNotReturn`.