module L1_2 where
import L1_1
import L2_1