private void roll_players_attributes(BattleEngine.Player.Player p) { int min_stat = 8; double total = 0.0; int rolls = 0; double seeking = (6.0 * (double)min_stat); while (total < seeking) { rolls++; total = (double) p.RollAttributes(this.RandomEngine); } }