#include <stdio.h>
#include <stdint.h>
int main(void) {
uint64_t ret = 0;
ret = (((uint64_t)0x00000000000000FF) << 24);
printf("#1 [%016llX]\n", ret
);
ret = 0;
ret = (0x00000000000000FF << 24);
uint32_t ret2 = 0;
ret2 = (((uint32_t)0x000000FF) << 8);
ret2 = 0;
ret2 = (0x000000FF << 8);
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KCmludCBtYWluKHZvaWQpIHsKCXVpbnQ2NF90IHJldCA9IDA7CglyZXQgPSAoKCh1aW50NjRfdCkweDAwMDAwMDAwMDAwMDAwRkYpIDw8IDI0KTsKCXByaW50ZigiIzEgWyUwMTZsbFhdXG4iLCByZXQpOwoKCXJldCA9IDA7CglyZXQgPSAoMHgwMDAwMDAwMDAwMDAwMEZGIDw8IDI0KTsKCXByaW50ZigiIzIgWyUwMTZYXVxuIiwgcmV0KTsKCgl1aW50MzJfdCByZXQyID0gMDsKCXJldDIgPSAoKCh1aW50MzJfdCkweDAwMDAwMEZGKSA8PCA4KTsKCXByaW50ZigiIzMgWyUwOFhdXG4iLCByZXQyKTsKCglyZXQyID0gMDsKCXJldDIgPSAoMHgwMDAwMDBGRiA8PCA4KTsKCXByaW50ZigiIzQgWyUwOFhdXG4iLCByZXQyKTsKfQo=