CSE
Common interface to all architecture-specific CSE modules
val fundecl : Mach.fundecl -> Mach.fundecl