isaacs: a thousand times this: Dumping a bunch of symbols into my local