It would be a fun coding agent benchmark to have them translate such a program between the different languages and see whether they preserve the respective semantics.