./bug263.go
