void mkrevstr(char *pa, char *pb)
{
char *p = pa;
while(*p) p++;
while(p!=pa) *pb++ = *(--p);
*pb = '\0';
}