for now, just print to stdout. Else many tests will be broken.