Annotations for tupleobject.c