That they also happen to be executable is there only to automatically ensure that the program actually conforms to the specification.