Some C code I want to be relocatable

reloc.c

// This file is Public Domain, or CC0 where that is not allowed

static int GLOBAL_VALUE = 5;

__attribute__((noinline))
int reloc_get(void) {
        return GLOBAL_VALUE;
}

int reloc_add(int a) {
        int x = reloc_get();
        return x + a;
}

void reloc_update(int foo) {
        GLOBAL_VALUE = foo;
}