Module Liveness

val fundecl : Mach.fundecl -> unit