page_size = VM_MAXPAGE;                                                        /* 4096 */

log ("Connecting device driver: %s", DEV_KEYBOARD);                            /* "KBD$" */

for (i = 0; i < STR/MAX_PATH; i ++)                                            /* 1024 */
{
  ...
}