11/10   In ISO C, since the type for difference between two pointers is
        ptrdiff_t, does that imply the correct type for array indices is
        ptrdiff_t?
        \_ The standard says only that the array index is of an integer type.
           \_ I see.  Thanks.