let
print_start_block title =
fprintf !out_fmt
"//========================\n// BEGIN %s\n//\n"
title