encoder_is_external
if (encoder_is_external(encoderID)) {
bool encoder_is_external(uint32 encoderID);