issue8828.c
trivial.go