#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv) {
        unsigned int f=0xFFFFFFFF;
        printf("sizeof: %d\n",sizeof(f));

        printf("f(before)=0x%08X\n",f);
        f >>= 31;
        printf("f(after)=0x%08X\n",f);
        f &= 0x00000001;
        printf("f(masked)=0x%08X\n",f);

        return 0;
}