#include <stdio.h>
#include <stdint.h>
int main()
{
uint32_t v = 0x80000000;
__asm __volatile ("sarl $1, %0": "+r" (v));
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KCmludCBtYWluKCkKewogICAgICAgIHVpbnQzMl90IHYgPSAweDgwMDAwMDAwOwogICAgICAgIF9fYXNtIF9fdm9sYXRpbGUgKCJzYXJsICQxLCAlMCI6ICIrciIgKHYpKTsKICAgICAgICBwcmludGYoIiUwOHhcbiIsIHYpOwp9Cg==