semantic: Use module scope to determine mangling name.