I think cc65 is a popular C cross compiler for 6502.

Maybe Mad Pascal translates Pascal to C, then uses cc65??