-- Moved from precompiled bootstrap to compiled bootstrap.