BUG: idx=255 reads byte offset 255 into kernel stack (buffer=64)
RESULT: BUGGY - idx=255 reads ps+255 (OOB by 191 bytes)
---PATCHED---
PATCHED: rejected idx=255 (ps_size=64)
RESULT: PATCHED - idx=255 rejected