# continue production run  previously written block file
puts [code_info]

puts "reading a small uncompressed block file..."
set innnn [open "sm_checkpoint.block" "r"]; # removing the compression does not help
while { [blockfile $innnn read auto] != "eof" } {}
close $innnn
unset innnn
puts "... done."

puts "reading a small compressed block file..."
set innnn [open "|gzip -cd sm_compr_checkpoint.block.gz" "r"]
while { [blockfile $innnn read auto] != "eof" } {}
close $innnn
unset innnn
puts "... done."