code: func U256(x *big.Int) *big.Int {
  	// Note that the And operation induces big.Int to hold a positive representation of a negative number
  	return new(big.Int).And(x, tt256m1)
  }
docs: // Converts a possibly negative big int x into a positive big int encoding a twos complement representation of x
  // truncated to 32 bytes