// Verilator scenario checklist:
// 1. Start in M-mode after reset.
// 2. Configure mstatus.MPP=S and mepc to an S-mode entry point.
// 3. Execute mret and verify the redirected PC equals mepc.
// 4. Execute an S-mode ecall path and verify trap state is recoverable.