private void mode_slider_ValueChanged(object sender, RoutedPropertyChangedEventArgs <double> e)
{
switch ((int)e.NewValue)
{
case 0: fsm.time_set(); break;
case 1: fsm.run(); break;
case 2: fsm.alarm_set(); break;
}
e.Handled = true;
}