public Word read(Address addr) { return memory[addr.intValue()]; }
public void store(Address addr, Word data) { memory[addr.intValue()] = data; }