writing the student sepc and lib