deleted code no longer used. i thought noexport would keep it from being tangled, but it did not.