module Test0 where

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

-- test direct call in argument position
main    = (\x -> x) (primDiv 42 2)