>Yes, this should be a new pass in check_abi. Oui oui absolument oui! If >you cannot do this, can you put in a mention of this into the TODO list? I looked at it today. I think I could do it with a small file format change (we currently discard LOCALs but we could just as easy filter in check_abi). I will attempt this but not this week. Loren