/* * Mask to get rid of the sign-extended part of addresses. */