Scoping rules (of variables inside a function)