tests/lean/Process.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            hi!

            
            1

            
            0

            
            "ho!\n"

            
            "hu!\n"

            
            flush of broken pipe failed

            
            100001

            
            100000

            
            0

            
            0

            
            0
	hi!
	1
	0
	"ho!\n"
	"hu!\n"
	flush of broken pipe failed
	100001
	100000
	0
	0
	0