External tool (to make the result file more readable by a human being
or a machine) implemented.