module Lib where
lib = ()