Compiler from `A Retargetable C Compiler: Design and Implementation'