Didn't Verhoeven famously not read the book? Hard to call it "satire" then, "straw man" might be more accurate.