<oerjan> ` echo \'121:122 194:196 770:771 1000:1001 1493 1497 2113:2114 3341:3343 4530:4531 5136:5137 5642:5643 5895 5897 8669:8678 9070:9071 9074:9075\' | xargs -n 1 >share/scowrevs

#include <stdio.h>
int main(){printf("\e[1m");int a,c=0;b:a=getchar();if(a==EOF)return 0;if(!(a&128)||(a&64))printf("\e[%dm","\37! $\"#"[c]),c=c+1-6*(c>4);putchar(a);goto b;}