./bug317.go
