Over an algebraically closed field of characteristic 0, the fundamental group of X is free with 2g+r-1 generators if r>0.
(Analogue of Dirichlet's unit theorem) Let X be a smooth connected curve over a finite field.