. . . "FIGS. 18A and 18B are a graph and table, respectively, showing experimental results of running the specification of FIGS. 17A and 17B against three code bases in one implementation." . .