module heater_cooler_window (hot_in, cold_in, hot_out, cold_out,
                             heater, cooler, open_window);
    input hot_in, cold_in, hot_out, cold_out;
    output heater, cooler, open_window;
