update name mangling example in readme