valid {
    input.Body.signupCallback.accessToken == STRING
    input.Body.setupFinalization.associateInProgressToken == STRING
    input.Body.setupFinalization.phoneNumbers[_].id == STRING
    input.Body.setupFinalization.phoneNumbers[_].twoFactorPin == STRING
    input.Body.setupFinalization.phoneNumbers[_].dataLocalizationRegion == STRING
    input.Body.setupFinalization.phoneNumbers[_].tags[_].key == STRING
    input.Body.setupFinalization.phoneNumbers[_].tags[_].value == STRING
    input.Body.setupFinalization.phoneNumberParent == STRING
    input.Body.setupFinalization.waba.id == STRING
    input.Body.setupFinalization.waba.eventDestinations[_].eventDestinationArn == STRING
    input.Body.setupFinalization.waba.eventDestinations[_].roleArn == STRING
    input.Body.setupFinalization.waba.tags[_].key == STRING
    input.Body.setupFinalization.waba.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.mediaId == STRING
    input.Qs.originationPhoneNumberId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.mediaId == STRING
    input.Body.originationPhoneNumberId == STRING
    input.Body.metadataOnly == BOOLEAN
    input.Body.destinationS3PresignedUrl.url == STRING
    input.Body.destinationS3PresignedUrl.headers.STRING == STRING
    input.Body.destinationS3File.bucketName == STRING
    input.Body.destinationS3File.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.originationPhoneNumberId == STRING
    input.Body.sourceS3PresignedUrl.url == STRING
    input.Body.sourceS3PresignedUrl.headers.STRING == STRING
    input.Body.sourceS3File.bucketName == STRING
    input.Body.sourceS3File.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.id == STRING
    input.Body.eventDestinations[_].eventDestinationArn == STRING
    input.Body.eventDestinations[_].roleArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.originationPhoneNumberId == STRING
    input.Body.message == BLOB
    input.Body.metaApiVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.resourceArn == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.resourceArn == STRING
    input.Body.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}