Searching protocol for "go fmt"
Systematic test design finds more bugs with fewer tests, maximize efficiency.