CREATE TABLE table_name_42 (original_title VARCHAR(255), director VARCHAR(255))
What is the original title where Paul Verhoeven is the director?
    
SQL: SELECT original_title FROM table_name_42 WHERE director = "paul verhoeven"