- * static const char *get_string(void) {
- * static char buffer[4096];
- * char *tail;
- * if (!fgets(buffer, sizeof(buffer), stdin))
- * return NULL;
- * tail = strchr(buffer, 0);
- * if (tail>buffer && tail[-1]=='\n')
- * *--tail = 0;
- * if (!*buffer)
- * return NULL;
- * return buffer;
- * }
+ * static const char *get_string(void) {
+ * static char buffer[4096];
+ * char *tail;
+ * if (!fgets(buffer, sizeof(buffer), stdin))
+ * return NULL;
+ * tail = strchr(buffer, 0);
+ * if (tail>buffer && tail[-1]=='\n')
+ * *--tail = 0;
+ * if (!*buffer)
+ * return NULL;
+ * return buffer;
+ * }