goproof-and-goversion2c