./bug262.go
