module L1_1 where
import {-# SOURCE #-} L1