Translation of the program by Coloc

@coloc, @pierre-H, here's the other translation of the program.