./bug402.go
