DEBUGpic16_emitcode (";", " %s type:AOP_R1",prefix);
if (aop->type == AOP_STK)
DEBUGpic16_emitcode (";", " %s type:AOP_STK",prefix);
DEBUGpic16_emitcode (";", " %s type:AOP_R1",prefix);
if (aop->type == AOP_STK)
DEBUGpic16_emitcode (";", " %s type:AOP_STK",prefix);