FILE_BUFFER        74 src/io.c       			     FILE_BUFFER (current) + current->buffered, size);
FILE_BUFFER       215 src/io.c         char const *bufend = FILE_BUFFER (current) + current->buffered;
FILE_BUFFER       462 src/io.c         char *p = FILE_BUFFER (current);