The Checked C extension adds new array and pointer types. The new types include: This declares an array with 10 elements. Accesses to this array will be bounds checked at runtime. The index to the ...

the compiler will know how many bytes to copy into that memory location pointed to by ptr. If ptr was declared as pointing to an integer, 4 bytes would be copied. Similarly for floats and doubles the ...