#include <stdio.h>

int main(void) {
	int x;
	x = 1;
	x &=~- x;
	printf("%d: %d\n", 1, x == 0);
	x = 2;
	x &=~- x;
	printf("%d: %d\n", 2, x == 0);
	x = 3;
	x &=~- x;
	printf("%d: %d\n", 3, x == 0);
	x = 4;
	x &=~- x;
	printf("%d: %d\n", 4, x == 0);
	x = 5;
	x &=~- x;
	printf("%d: %d\n", 5, x == 0);
	x = 6;
	x &=~- x;
	printf("%d: %d\n", 6, x == 0);
	x = 7;
	x &=~- x;
	printf("%d: %d\n", 7, x == 0);
	x = 8;
	x &=~- x;
	printf("%d: %d\n", 8, x == 0);
	return 0;
}