1 --!!! cc001 -- ccall with standard boxed arguments and results
12 b :: Int -> PrimIO Int
15 c :: Int -> Char -> Float -> Double -> PrimIO Float
16 c x1 x2 x3 x4 = _ccall_ c x1 x2 x3 x4
18 -- simple monadic code
20 d = a `thenPrimIO` \ x ->
21 b x `thenPrimIO` \ y ->