;; File: fat.inc