And apparently the movie did come out (in 2013)
https://www.imdb.com/title/tt2277106/
https://en.wikipedia.org/wiki/The_Man_Who_Saved_the_World#Production_notes
And apparently the movie did come out (in 2013)
https://www.imdb.com/title/tt2277106/
https://en.wikipedia.org/wiki/The_Man_Who_Saved_the_World#Production_notes