./bug273.go
