locals, formals and assignment