Segmentation fault in executable after compilation with juliac including --trim --experimental arguments

This example works with a little bit change:

module ABCD

function (@main)(args::Vector{String})::Cint
    return 0
end

end # Module ABCD

import .ABCD.main

The main function should be imported outside of the module.

The modified Makefile and the abcd.jl example is updated in my juliac repo:

It can be tested using

# make abcd

and it can be run using

# ./abcd