Apparently the Russian Glonass satellites are programmed in Modula-2 [1] which seems like a wild choice.

1) https://en.wikipedia.org/wiki/Modula-2#Russian_radionavigati...