export def "main" [] {
    "hi!"
}