request_terminate is not global anymore
signal_mask is not global anymore