module test

import StdEnv

Start 
# w = mkWorld 42
# (io, w) = stdio w
# io = fwrites "Hello world!\n" io
# (ok, w) = fclose io w
= ok

mkWorld :: Int -> *World
mkWorld x = code {
    ccall mkworld "I:p"
}