Serge: I understood that, but the code along my comment seems to allow module with NO export at all. If it is the case a comment is missing because it is not straightforward, if it is not the case I don't understand this diff.