SUPDrvMangling.h revision 715e49c31b15c23c17a9ce3be42a75e7c48d4b78