Assertion: pointer | /r/CapableOf | point to array's first element
Facets:
Source sentences:
text: The call to malloc allocates an array of whatever size you desire, and the pointer points to that array's first element.