ints[i] = ints[1] + ints[2];
}
*/
// Some temporary variables...
Name aName = NameFactory.getName();
Name bName = NameFactory.getName();
Name cName = NameFactory.getName();
Name dName = NameFactory.getName();
Name eName = NameFactory.getName();
Name fName = NameFactory.getName();
AJCVariableDecl aDecl = f.local(aName, f.Int(), f.l(1));
AJCVariableDecl bDecl = f.local(bName, f.Int(), f.l(2));
AJCVariableDecl cDecl = f.local(cName, f.Int(), f.l(3));
AJCVariableDecl dDecl = f.local(dName, f.Int(), f.l(4));