just dump to stdout