suckless-utils/dmenu-flexipatch/patch/dynamicoptions.h

static void refreshoptions();
static void readstream(FILE* stream);