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