Shouldn't `void cgc__terminate(unsigned int status)` in libcgc actually receive a normal `int`? Some of the challenges return a negative status.