> First: If you're proposing this for the gABI, you should drop the > "GNU_" from the name. Or are you really proposing this just for the > Gnu ABI? Sorry, my mistake -- I filter generic-abi and gnu-gabi mail into the same folder, and didn't notice that you sent this to the gnu-gabi list only. -cary