public static void Ensure(FormalPointer[] points, int index) { if(points[index] == null) points[index] = new FormalPointer(points, index); }
FormalPointer(FormalPointer[] points, int index) { _name = FormalMachine.Names[_nextPointer++]; _points = points; _index = index; }