@mflatt I think we asked this question previously, but does adding a new export to #%kernel in the cs layer require adding it to the C layer as well for bootstrapping the expander?

cc @spall

That’s how it’s supposed to work, yes. I’m not sure how much the build will work anyway if you skip the “racket/src/racket” implementation.