sigterm_handler(int sig)

{

    received_sigterm = sig;

    received_nb_signals++;

    term_exit_sigsafe();

    if(received_nb_signals > 3)

        exit_program(123);

}

sigterm_handler(int sig)

{

    received_sigterm = sig;

    received_nb_signals++;

    term_exit_sigsafe();

    if(received_nb_signals > 3)

        exit_program(123);

}

        exit_program(123);
FUNC_0(int VAR_0)

{

    received_sigterm = VAR_0;

    received_nb_signals++;

    term_exit_sigsafe();

    if(received_nb_signals > 3)

        exit_program(123);

}

FUNC_0(int VAR_0)
{ received_sigterm = VAR_0; received_nb_signals++; term_exit_sigsafe(); if(received_nb_signals > 3)
exit_program(123); }