../../sim_spindle_encoder.hal