kk, I guess it is just the tests/bootstrap code anyways.