backend_get_counter32
void backend_get_counter32(void);
{ "backend_get_counter32", backend_get_counter32 },