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

val translate_program: UPP.program -> RTL.program