module Main (main) where
import Mixin (defValue)

main :: IO ()
main = print defValue