define redo
file a.out
end
