#include <inttypes.h>

int16_t ESR_Exec(void);
int16_t ESR_FAST_Exec(void);