#include <stdio.h>

int main(int argc, char * argv[])
{
    printf("%d;", 0b01u | 0b10u);
    printf("%d;", 0x100 - 0b100000000);
    printf("\n");
}