Can $INIT be emptied now?