./bug142.go
