process
  local stream students-dtd initial {file 'XML-input.dtd'}
  local stream students-xml initial {file 'XML-input.xml'}

  do xml-parse document
    scan students-dtd || students-xml
    output "%c"
  done

  element Student
    output "%v(Name)%n"
    suppress

  element #implied ; all other elements can be suppressed, except <Students>
    output '%c' when element is Students
    suppress when element isnt Students