i don't know any code translation (well, actually, I do)