./bug130.go
