OpenRecovery for OpenROM.