z3.go 42 Bytes