Make get-credit-count private