;;;; fox.setup


(standard-extension 'fox 1.0)