Thanks for the bug report. This is actually a bug
in the documentation -- the array of names should
be sorted alphabetically, but I forgot to mention
that in s7.html. Try
const char *autoloads[6] = {
"aod.extra.foo", "aod/extra/foo",
"aod.lib1", "aod/lib1.scm",
"aod.lib2", "aod/lib2.scm",
};