#include <stdlib.h>
typedef void (* FunctionThatNeverReturns)(int) [[ noreturn ]];
FunctionThatNeverReturns p1 = &exit;
typedef void (* FunctionThatNeverReturns2)(unsigned) [[ noreturn ]];
FunctionThatNeverReturns2 p2 = &srand;
int main()
{
p1(0);
}
I2luY2x1ZGUgPHN0ZGxpYi5oPgoKdHlwZWRlZiB2b2lkICgqIEZ1bmN0aW9uVGhhdE5ldmVyUmV0dXJucykoaW50KSBbWyBub3JldHVybiBdXTsKCkZ1bmN0aW9uVGhhdE5ldmVyUmV0dXJucyBwMSA9ICZleGl0OwoKdHlwZWRlZiB2b2lkICgqIEZ1bmN0aW9uVGhhdE5ldmVyUmV0dXJuczIpKHVuc2lnbmVkKSBbWyBub3JldHVybiBdXTsKCkZ1bmN0aW9uVGhhdE5ldmVyUmV0dXJuczIgcDIgPSAmc3JhbmQ7CgppbnQgbWFpbigpCnsKCXAxKDApOwp9