How long should a dungeon be?