{-# OPTIONS --rewriting #-}
import Reflect1
import Reflect1Direct
import Reflect2
import Reflect2Direct
import Reflect3
import Reflect3Direct
import Reflect4
import Reflect4Direct