docs: shorten field name mangling example