void plumb(char *);