Let $H$ be a quaternionic algebra over ${\bf Q}$, and let $R$ denote a maximal ${\bf Z}$-order in $H$.  Is there a formula for the rank of the units in $R$ analogous to the Dirichlet unit theorem?  Is there an analogous formula for the $S$-units?