Module Reload

val fundecl : Mach.fundecl -> int array -> Mach.fundecl * bool