sec.cpp: Fix empty-body warning