But the two fields have the same type, and the same value. So if anyone knows about `global`, it must know it's using `JavaPlatform`, so it could simply use `symbolTable`.