/* comment, test #12 */

#include <unistd.h>

int main(void)
{
    _exit(42);
}