public void Initialize()
{
ArrayList prog = new ArrayList();
prog.Add(new NopInstruction());
prog.Add(new HaltInstruction());
AbstractMachineState state = new AbstractMachineState(new AMFactory());
state.Initialize(prog);
Assert.IsNotNull(state.Program);
Assert.IsNotNull(state.DataArea);
}