interface Misc where random :: Int -> IO Int {-# random :: LispName("lisp:random") #-}