I read it more as an example of how to use CATS to do this sort of fuzzing.