bootstrap syntax-case shown only when it is actually done