checked that fzaninnotto generator works