checked that badcow generator works