New command line option: --eval=STRING will cause STRING to be