KmsArnGen4.dfy is the final version, has the split, joint, and implements most of the specs in https://github.com/awslabs/aws-encryption-sdk-specification/blob/master/framework/aws-kms/aws-kms-key-arn.md except didn't expact there might be more than one "/" in the arn resource id.