code: func (e *Execution) GetEID() *dm.Execution_ID {
  	aid := &dm.Attempt_ID{}
  	if e.ID == 0 {
  		panic("cannot create valid Execution_ID with 0-value ID field")
  	}
  	if err := aid.SetDMEncoded(e.Attempt.StringID()); err != nil {
  		panic(err)
  	}
  	return dm.NewExecutionID(aid.Quest, aid.Id, uint32(e.ID))
  }
docs: // GetEID gets an Execution_ID for this Execution. It panics if the Execution
  // is in an invalid state.