Translator for #759 (transpilation of older #759). Quick-transpiling is OK