A smaller benchmark