whoa, 3 modules in bs go through the termination checker.