Add and use a new example platform that outputs to stdout