import "../../../valid/sum.wacc" *

begin
  exit 0
end