No functional changes.
Rationale: not all operating systems use function printf for printing console messages. This commits allows to define platform-specific functions.