./bug423.go
