But they are already...right? Same for the variables? Everything inside this file is inside `ddg_spice_stopwatch`