What are the basic requirements of an imperative programming language? $($Choose all that apply.$)$

$1)$ Ability to change program state

$2)$ Control Statements

$3)$ Functions and procedures

$4)$ Guaranteed execution of instructions in sequential order

$5)$ Loops