(+) safety level 0,1,2 (completed)
(*) TODO: tuple assignments