MONINSIZE         397 src/monitor.c          buf = malloc_chk(MONINSIZE + 1, "monitor.buf");
MONINSIZE         398 src/monitor.c          fgets(buf, MONINSIZE, stdin);