I came across a legit example of using C++ in Python:
#include <stdint.h>
void: (type) = (type) ("(void *)0"), int16_t: (type) = (type) (int(16))(), int32_t: (type) = (type) (int(32))(), puts: ((str) := void) = (print), printf: ((str) := void) = (puts),
[[void]] = (void), [[total]] = (int32_t), [[i]] = (int32_t), [[puts]] = (puts), [[printf]] = (printf),
import future as past
def printf(s, VA_ARGS) -> (void) :{ (void) (puts((void).mod(s, VA_ARGS), end=((void).new)(void))), }
int32_t: i = 0, while (i <= 6) :{ (void) (printf(" %d\n", i)), (i := i + 1), }
(void) (puts("__")),
int32_t: total = 0, int32_t: i = 0, for (int32_t) in (i <- 0, i <= 6, ++i) :{ (total := total + i), }
(void) (printf("%d\n", total)),
Run this in python 3.8