Asking shouldn't be hard. (And I would start at the DSN people at JPL). But the answer might be "well, we have that binary. I think it was written in $deadlangu

Asking shouldn't be hard. (And I would start at the DSN people at JPL). But the answer might be "well, we have that binary. I think it was written in $deadlanguage. But I have never seen the source, don't know who wrote it and I don't know how the decode works". Or they might have a binder full of documentation on paper. Who knows.