We should not be mangling for C, Pascal or stdcall in the frontend.