TODO: Fill in. Retargeting involves implementing the Target trait and, likely, its associated types.
Target