#include #include void rev(char *s);