Based on the discussions on the ietf-krb-wg list, I'd expect the DES3
PRF output to be 8 bytes not 16.
What environment do you have where  you would expect 16 bytes.