Module Split

val fundecl : Mach.fundecl -> Mach.fundecl
val reset : unit -> unit