I couldn't find descriptions for <ac-implied-do-control> and <io-implied-do-control> that are similar to 8.1.6.4.1 for <loop-control>. Did we not actually do it, or is there a reference to 8.1.6.4.1, or is there something more explicit that I've missed?