./issue11987.go
