#include <stdio.h>

void reset_procmask(void) {
    printf("STUB: %s:%d", __FILE__, __LINE__);
}

int get_fake_if(void *ctx) {
    printf("STUB: %s:%d", __FILE__, __LINE__);
    return 0;
}