public void Allocate()
{
AbstractMachineState state = SetupMachine();
AMHeap heap = (AMHeap)state.DataArea;
AllocateInstruction i = new AllocateInstruction();
i.Process(null);
i.Execute(state);
EnvironmentFrame env = (EnvironmentFrame)heap.Top();
Assert.AreEqual("allocate", i.Name());
Assert.AreEqual(0, i.NumberOfArguments());
Assert.AreSame(env, state.E);
for (int r = 0; r < 20; r++)
{
Assert.IsNotNull(env["Y" + r.ToString()]);
}
}