./bug436.go
