Real_rank_(C*-algebras) loading ...