that's only the mechanical translation too

the hard bit (borrow checker) has still to be done...