Films produced by Robert Halmi Jr.