// The grammar allows a module file to be empty.