compilation-top
A binding-name table has identifiers encoded as `stx`, not actual identifiers.
protect-quote