./bug302.go
