frame-previous, frame-procedure robustness