Translator for #759 (transpilation of older #759). Use quck-transpile for this