Ok, as I understand it `xbs1` should be all specs defined in the current module, but `xbs` should only be comprised of specs from the current module :) Basically, I believe (and tracing a few different tests and benchmarks supports my belief) that `xbs2` will always be empty.

Does that sound right?