let
descr =
"dump a stratified call graph to the file <filename> in dot format"