Provided module for checking name mangling.