directives003.idr

module directives003

-- names are randomly generated so as to avoid existing names
%lib C "nuyahcha"
%lib C "mohgiide"
%lib C "apeekair"
%flag C "-Wl,-leeraimam -Wl,-lrahhahwi -Wl,-lgoocheiv"

namespace Main
  main : IO ()
  main = putStrLn "Hello, World!"