> This means that when you perform a malloc, the pointer bounds will be set inside the malloc call, and then passed on to your variable.

For this to be useful in Python, you would have to annotate Python's small object allocator to designate it as a malloc()-like function, no?