EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&(pha==017)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&(pha==0xf)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&(pha==0b1111)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&((pha&017)==017)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&((pha&0xf)==0xf)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&((pha&0b1111)==0b1111)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&(pha=017)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&(pha=0xf)
EXACT	(pi=13:14)&&pha==0xf			(pi=13:14)&&(pha=0b1111)