module Test1 where

instruction primDiv "divint" :: Int! -> Int! -> Int!

-- test primitive in argument position
main    = (\x y -> y) (primDiv 1 0)