А что не так с асинк авейт?
А стабильность гарантируется? Так то задача трансляции в с/с++ бессмысленна, можно сразу гнать в llvm ir. А сделать что-то human readable это уже в нейронки, rule based скорее...