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