mangling question

[Alexandre Petit-Bianco]

Anthony Green writes:

>     void <badly mangled name 'main__5jmisc_ZN5jmisc4mainEP6JArrayIPN4java4lang6StringEE'>;
>     void jmisc();

> Is this mangling correct?  cxxfilt in src can't demangle it either.

There's a part of it that is correct. 

`_ZN5jmisc4mainEP6JArrayIPN4java4lang6StringEE' is
`jmisc::main(JArray<java::lang::String*>*)'

I don't understand where `main__5jmisc' is coming from. Can you make
sure that jc1 generates this symbol by itself, and then can you send a
test case? Thanks!

./A