{-# htermination fmToList_GE :: FiniteMap Int b -> Int ->  [(Int,b)] #-}
import FiniteMap