printf("0x1b[4;31m");
と書いて、
0x1b[4;31m
と出ない処理系って?