platform "test-platform"
    requires {} { main : * }
    exposes []
    packages {}
    imports []
    provides [main_for_host]

main_for_host : {} -> {}
main_for_host = \{} -> {}