loopbound intrinsic: include blockaddress