The meaning of a type's Py_SIZE (ob_size) depends entirely on the type. The interpreter generally sets it on allocation, but can't rely on the value afterwards.

• Py_SIZE is not different from other instance data and doesn't really need special treatment
• The interpreter doesn't know the size of a PyVarObject instance