Kernel working. Tests for B and C almost done.