Absolute branch values not correct on encoding