binit              14 defs.h         void            binit(void);
binit              31 main.c           binit();         // buffer cache