Add test for int 0x80 encoding