k_monomial: initial files.