Buffer to cache data used to compute symbols and a few functions to
compute symbols.