{-# OPTIONS --rewriting #-}
import DS
import CPS
import DS-CPS
import Reflect3