; RUN: run.py %s | filecheck %s

(debug 413)

; check: 413