module Boot where

data Data