 // reset to zero, depending on state.
 //
 // Possibly better to rename this update_state_machine().
-void handle_start_button()
+void handle_start_button() {
 
   uint8_t ADCReading < ADCThreshold);
 

// TODO: FIGURE OUT WHERE DELAYS ARE NECESSARY AND ADD THEM
void loop() {

  
  delay(100);

} 

Adafruit_MAX31855 thermocouple5(spiCLK, thermoCS5, spiMISO);

// Set the first and second heaters to ON or OFF.
void set_heaters(int val1, int val2) {
  digitalWrite(heater1, val1);  // turn off the heaters
  delay(100);
  digitalWrite(heater2, val2);  // turn off the heaters
