versioned_symbol_count
result.versioned_symbol_count++;
if (result.versioned_symbol_count == 1)
uint32 versioned_symbol_count;