ggo.c: Document return value of printf_or_die().