#  This program tests rt/fail.s.

procedure main()
   write(case "a" of {
      1:  "no"
      []:  "no"
      "a":  "yes"
      default:  "default"
      })
end