mangling question

Sat Feb 10 11:13:00 GMT 2001

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