machine simulation in Intel PIN