This patch corrects a potential problem in the handling of a ieee_get_state_at_signal(3) C-library call.