Print 32 bit int as 4 binary octets

gistfile1.c

void printbint(unsigned int u32int) {
    unsigned int mask = 1 << 31;
    for (int i = 0; i < 32; i++) {
        printf("%d", u32int & (mask >> i) ? 1 : 0);
        if ((i + 1) % 8 == 0) {
            printf(" ");
        }
    }
    printf("\n");
}