Jormungandr: check size after loop to check the elts