Precise Processor behaviors