gcc -std=c99 -ffixed-ebx

ffixed_ebx_as_global_counter.c

#include <stdio.h>
#include <stdint.h>

uint32_t quux(void) {
    uint32_t ebx;
    __asm ("inc %ebx");
    __asm ("mov %%ebx, %0" : "=r"(ebx));
    return ebx;
}

void kzyf(void) {
    printf("%d\n", quux());
}

int main(void) {
    __asm ("mov $0, %ebx");
    printf("%d\n", quux()); // => 1
    printf("%d\n", quux()); // => 2
    quux();                 // =( 3 )>
    kzyf();                 // => 4
    printf("%d\n", quux()); // => 5
    return 0;
}