./bug272.go
