
/* Optional distribution replacement test; never part of production GMP. */
#include <stdio.h>
__attribute__((constructor)) static void kpopper_gmp_replacement_probe(void) {
    fputs("KPOPPER_GMP_REPLACEMENT_PROBE\n", stderr);
}
