inst->size() bug