enumerator_enum_size  533 enumerator.c       RETURN_SIZED_ENUMERATOR(obj, argc, argv, enumerator_enum_size);
enumerator_enum_size  598 enumerator.c       RETURN_SIZED_ENUMERATOR(obj, 1, &memo, enumerator_enum_size);