main module charrange
// test bug the Jim Greenwood reported

    use TEXTIO
    declare
	Digit is char range $0..$5 initially $1
	Thumb : digit
	Line : packed array [1..80] of digit
	Outline : packed array [1..80] of char
    enddeclare

    Thumb := $5
    out_character (TTY, Thumb)
    out_record (TTY)
    for I := 1 to 80 do
	outline [i] := line [i]
    endfor
    out_line (TTY, outLine)
endmodule