print to stdout for debugging