let
descr =
"print some metrics into the specified file"