#!/usr/bin/env runidris

main : IO ()
main = putStrLn "hello from C"