Known as: switch for clutch pedal