-interface Rn017 where
-import Bar (a, b, Wibble(..))
-import Burf(Wobble)
-a :: Int -> Int
-b :: Int -> Int
-c :: Int -> Int
-data Wibble = MkWibble Wobble
-data Wobble
+_interface_ Rn017 1
+_exports_
+Rn017 a b c Wibble(MkWibble) Wobble ;
+_declarations_
+1 data Wibble = MkWibble Wobble ;
+1 data Wobble ;
+1 a _:_ Int -> Int ;;
+1 b _:_ Int -> Int ;;
+1 c _:_ Int -> Int ;;