Well, but with such a module interface containing “module subroutine” which is not defined in the module itself, requires a submodule to be present (eventually, in order to build working executable). Also, if foo were defined in the module mod, the interface would not be needed at all.