(* This module translates [LIN] into [ASM]. *)
val
translate_program:
LIN
.
program
->
ASM
.
program