Implementation of output formatters for the generated machine profiles.