Dat kernel coding spec.