finish off the code for index_getattr_size().