let signal_fun s = snd s