void toggle_led( int led, int *shadow ){
  int flip_val = shadow == 0 ? 1 : 0;
  digitalWrite( led, flip_val );
  *shadow = flip_val;
  Serial.println(flip_val);
}

toggle_led( disc_led, &sh_disc_led );