do these pass gofmt?