#include <stdint.h>

static volatile uint64_t s_count = 0U;

int main(void) {
    for(;;) {
        s_count++;
    }
}