     while (system_mode == 4) {
       read_controls();
       update_bottom_display_line();
+      update_pulse_duty_cycle();
 
       digitalWriteFast(channel_1_out, HIGH);
       delay_safe_micros(interrupter_pulsewidth_setpoint);

#define pulse_mode_switch   9
#define estop_switch        11

#define channel_1_out       23
#define channel_2_out       22 

#define pulsewidth_pot A0

// For the pulsed (tick) mode
void pulse_static() {
  digitalWriteFast(channel_1_out, HIGH);
  delay_safe_micros(interrupter_pulsewidth_setpoint);
  digitalWriteFast(channel_1_out, LOW);
}

