only StableName has hash table entries, not StablePtr.
Stable.c: Indentation unmess up
Separate stable names table from stable ptrs table