require_prog script
#### Use minimal arguments to script(1), i.e., just the file in
#### which to save the output. We do pipe input to script, which is
require_prog script
#### Use minimal arguments to script(1), i.e., just the file in
#### which to save the output. We do pipe input to script, which is