MIPS: Sanitize restart logics