What if you compile PBP, then use the generated assembler to compile to C?

Robert