let
print_end_block title =
fprintf !out_fmt
"//\n// END %s\n//========================\n\n"
title