./bug312.go
