[Lab03]: Add missing files.