Типаж Termination используется для получения кода выхода из того, что возвращает main. Существующие реализации обертывают lib c s EXIT_SUCCESS или EXIT_FAILURE, которые ... определяются реализацией. Но в unix -подобных системах они, вероятно, 0 и 1.