What are the basic requirements of an imperative programming language? $(2$ correct choices.$)$

$1)$ Ability to change program state

$2)$ Control Statements

$3)$ Functions and procedures

$4)$ Guaranteed execution of instructions in sequential order

$5)$ Loops