function f=autoflush(s), f=s.opts.autoflush;
