@rml @shegeley @cwebber @monkey1 the issue is entirely about language: is a define form essentially a creation of a mutable storage location along with an initial value? if so, AOT inlining of top-level definitions is impossible; the compiler cannot reason about the values of top-level / module-level definitions. guile moved away from this model with declarative modules.