Finalized abstract address. All tests pass except some from VirtualFrame. TODO: fix it