Some stuff related to clasp (testing etc.)