./bug000.go
