Experiments, tests, and sample code for xskt's 2013 testability class.