Using the SimOS machine simulator to study complex computer systems | Synapse