Hi Jim, > Sorry, so what's the final proposal at this point? Implement set_main_symbol(), get_main_symbol(), is_main_symbol() and adjust the DWARF code accordingly. I've basically already done this and I'm doing testing currently. Petr