(load "iccle") (make 'deftests)