libui/doc/export/writewidths.c

// 22 october 2017
extern int realMain(void);
int main(void) { return realMain(); }