import "../../../valid/sum.wacc" ()

begin
  exit 0
end