16.7.5.3