Control flow changes in frontend.c