pprInstruction :: Platform -> instr -> SDoc