set unionprint on
set verbose
set editing off
