Symbol: DEFSECTION