#include <stdio.h>

typedef unsigned char uint8;
typedef unsigned long long uint64;

int
main(void)
{
	uint8 x = 0x80;
	uint64 y = x<<1;
	uint64 z = x<<25;

	printf("%#x %#llx %#llx\n", x, y, z);
	return 0;
}