A C-only library implementing part of the Healpix spherical pixelization scheme