HP Prime or HP 50g

[parisse]

For CAS programs, local declaration is not mandatory, it's a way to insure you did not mistype a variable name, if a variable is not declared, you get a warning about global variables.