package dumptsm_test

// TODO: write some tests