#include <inttypes.h>

int16_t EFFICIENCY_Exec(void);