Now using (declare x) instead of (def x nil)