07-03 How Random Testing Should Wor...