I believe we can immediately initialize this one as $booted = false;