Bounded pointer definitions for PPC32.