write a kb file (syntax yet untransformed)