./bug502.go
