code: func (msg *StateInfo) LedgerHeight() (uint64, error) {
  	if msg.Properties != nil {
  		return msg.Properties.LedgerHeight, nil
  	}
  	return 0, errors.New("properties undefined")
  }
docs: // LedgerHeight returns the ledger height that is specified
  // in the StateInfo message