Editing: ReverseEmulator.php