Version: 1.33.5 [2014-09-15]
o ROBUSTNESS: Now withOptions() also resets all the options available
  upon entry even if no explicit options were specified.  This covers
  the case when 'expr' changes the options and/or adds new options, e.g.
  withOptions({ options(width=10, foo="new"); str(letter) }).