P-adic_cyclotomic_character loading ...