kernel for iso-test and fixed bugs