Empirical distribution of good channel codes with non-vanishing error probability (extended version).