Converts a value to a symbol name and offset.

    Format

      int sda$symbolize (uint64 value, char *symbol_buf, uint32

      symbol_len);