Copying over Pintos starter code.