extend lab1c_app1.tex