int에서 byte pattern의 경계값

runtime value가 byte로 정확히 표현되는지 branch를 나눈다.

1

-129

byte match false

int

2

-128

byte match true

byte

3

127

byte match true

byte

4

128

byte match false

int

핵심: source·target type과 값에 따른 exact conversion table을 실행으로 남긴다.