16. How big is the Linux kernel?
----------------------------------
  160.33.66.118: p
