#include "encoder_state.h"