module Lib where
lib = 1