#;
(
TR opt: in-range.rkt 7:0 #%module-begin -- in-range
TR info: in-range.rkt 10:3 display -- hidden parameter
TR info: in-range.rkt 10:3 display -- hidden parameter
0123)
#lang typed/scheme
#:optimize
(for ([i 4])
  (display i))
