(j3.2006) Generic interface question

[Van Snyder]

The following generic interface appears to be standard conforming:

  interface Generic
    subroutine S ( A ) bind(C,'x')
      real :: A
    end subroutine S
    subroutine T ( B, C ) bind(C,'x')
      integer :: A, B
    end subroutine T
  end interface

The rules in 12.4.3.4.5 depend entirely on distinctions between dummy
arguments.

Shouldn't bind names be part of the list?