binit              13 defs.h         void            binit(void);
binit              32 main.c           binit();         // buffer cache