17.8.3.3 Implementation