acc: returned to kernels clause