Hi, Armed Bear Common Lisp 1.9.3-dev Java 17.0.9 Debian OpenJDK 64-Bit Server VM Low-level initialization completed in 0.151 seconds. Startup completed in 0.876 seconds. Type ":help" for a list of available commands. CL-USER(1): (defvar *s*) *S* CL-USER(2): (defun foo () (princ-to-string (progv '(*s*) '(1) (catch 'ct *s*)))) FOO CL-USER(3): (compile 'foo) ; Caught ERROR: ;   Stack inconsistency detected in <unknown> at index 44: found 3, expected 1. ; Compilation unit finished ;   Caught 1 ERROR condition