Translator for #759 (transpilation of older #759)