./bug031.go
