private ushort GetLocalIndex(ILocalDefinition local) {
ushort localIndex;
if (this.localIndex.TryGetValue(local, out localIndex)) return localIndex;
localIndex = (ushort)this.localIndex.Count;
this.localIndex.Add(local, localIndex);
this.localVariables.Add(local);
return localIndex;
}