Testing -- so far we have a nondeterministic segfault and bug. No correct behavior yet (dodged that bullet, apparently).