module L2_1 where
import {-# SOURCE #-} L2