{-# htermination lookup :: Int -> [(Int,b)] -> Maybe b #-}