See this file in the Coin-1 repository.
