dictionary: flush stdout before reporting the statistics