from skip_if_kdfreq import *
from card_test_ds_counter2 import *