module Ghci025B (module Ghci025B, module Ghci025C) where

import Ghci025C

k x = x `mod` 11