Support for printing to stdio and stderr