7 \
." Type: " dup mal
-type @ type-name
safe-type cr
10 : rep
( str
-addr str
-len
-- str
-addr str
-len
)
16 77777777777 constant
stack-leak
-detect
22 buff 128 stdin read
-line
throw
23 while ( num
-bytes
-read
)
24 buff swap
( str
-addr str
-len
)
27 catch ?dup 0= if safe-type else ." Caught error " . endif
29 stack-leak-detect <> if ." --stack leak--" cr endif