+void __getopt_msg(const char *a, const char *b, const char *c, size_t l)
+{
+ FILE *f = stderr;
+ b = __lctrans_cur(b);
+ flockfile(f);
+ fwrite(a, strlen(a), 1, f)
+ && fwrite(b, strlen(b), 1, f)
+ && fwrite(c, l, 1, f)
+ && putc('\n', f);
+ funlockfile(f);
+}
+