#include <inttypes.h>

int16_t SELF_DISCHARGE_Exec(void);