@janneke @civodul @wingo Yes, the module system is one of the things that produces most of this Scheme->C->Scheme dance and also guile having a different behavior when it's AOT compiled vs when it's interpreting makes everything very hard: It forces us to expand+compile+evaluate top-level expressions one by one, with all the problems that has.