#include <stdio.h>
#include <stdint.h>
int main(void) {
	// your code goes here
	int32_t offset_initial = -1760;
	int32_t r = (offset_initial * 2) / 1000;
 
	int32_t offset = (r + 1) >> 1;
	printf("%d", offset);
	int32_t position = -5;
	int32_t position_shifted = position / 2;
	printf("\n%d", position_shifted);
	int32_t vel = -2048;
	int32_t pos = 4;
	//int32_t pos_vel = pos | (((uint32_t)vel) & 0xFFF) << 20;
	int32_t pos_vel = pos | (vel & 0xFFF) << 20;
	printf("\n%d", pos_vel);
	return 0;
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KaW50IG1haW4odm9pZCkgewoJLy8geW91ciBjb2RlIGdvZXMgaGVyZQoJaW50MzJfdCBvZmZzZXRfaW5pdGlhbCA9IC0xNzYwOwoJaW50MzJfdCByID0gKG9mZnNldF9pbml0aWFsICogMikgLyAxMDAwOwoJCglpbnQzMl90IG9mZnNldCA9IChyICsgMSkgPj4gMTsKCXByaW50ZigiJWQiLCBvZmZzZXQpOwoJaW50MzJfdCBwb3NpdGlvbiA9IC01OwoJaW50MzJfdCBwb3NpdGlvbl9zaGlmdGVkID0gcG9zaXRpb24gLyAyOwoJcHJpbnRmKCJcbiVkIiwgcG9zaXRpb25fc2hpZnRlZCk7CglpbnQzMl90IHZlbCA9IC0yMDQ4OwoJaW50MzJfdCBwb3MgPSA0OwoJLy9pbnQzMl90IHBvc192ZWwgPSBwb3MgfCAoKCh1aW50MzJfdCl2ZWwpICYgMHhGRkYpIDw8IDIwOwoJaW50MzJfdCBwb3NfdmVsID0gcG9zIHwgKHZlbCAmIDB4RkZGKSA8PCAyMDsKCXByaW50ZigiXG4lZCIsIHBvc192ZWwpOwoJcmV0dXJuIDA7Cn0K