If either a or b (but not both) were already defined, this won't re-define (and reallocate space for) them.