(* This module translates [RTL] into [ERTL]. *)

val translate_program: RTL.program -> ERTL.program