value output to stdout