// Assign index numbers to the symbols, get # of symbols (we assume
// that all symbols can potentially be extended, hence the x28)
// (To clarify: 28 bytes is the size of an extended symbol)
// Assign index numbers to the symbols, get # of symbols (we assume
// that all symbols can potentially be extended, hence the x28)
// (To clarify: 28 bytes is the size of an extended symbol)