./bug012.go
