sig
  val desugar_program :
    Flx_mtypes2.sym_state_t ->
    string -> Flx_ast.statement_t list -> Flx_types.asm_t list
  val include_file :
    Flx_mtypes2.sym_state_t -> string -> bool -> Flx_ast.statement_t list
end