8-15 stdout