Zero-overhead checks with fake stack overflows