module KRB5::Mixin