./bug303.go
