printf(".ds %d ", yyval);
if( dir == FWD || dir == BACK ) /* fwd, back */
printf("\\h'%s%du'\\*(%d\n", (dir==BACK) ? "-" : "", a, p);
printf(".ds %d ", yyval);
if( dir == FWD || dir == BACK ) /* fwd, back */
printf("\\h'%s%du'\\*(%d\n", (dir==BACK) ? "-" : "", a, p);