Statements Branching Statements if-statement switch-statement Iteration Statements for-statement foreach-statement while-statement do while-statement goto-statement Assertion-statements assert static_assert verify