Proper GENERIF generation