Random-access machine