Clients must never overlap input parameters because of the risk of a double-fetch inconsistency. Implementations are permitted to treat overlapping input parameters as a PROGRAMMER ERROR.