#include <stdio.h>

int main(void) {
	char i = 0x80;
    printf("0x%x", i & 0xFF); // this prints 80
	return 0;
}