./bug017.go
