strextend 5922 src/shared/util.c char *strextend(char **x, ...) { strextend 779 src/shared/util.h char *strextend(char **x, ...) _sentinel_;