/* 7.18.2.4 Limits of integer types capable of holding object pointers */