No, I checked that one, and many other early 80s MCUs. The closest I've found is Rockwell MM78L, but it's not exact and has a max voltage of 11V instead of 15V. So I'm thinking maybe it's an MM78 in a 40 DIP instead of their usual 42 QIP. I'll decap it and see.