./bug253.go
